Skip to content

Menu editor settings#4

Closed
oumoussa98 wants to merge 1 commit intomasterfrom
chore/editor-menu-settings
Closed

Menu editor settings#4
oumoussa98 wants to merge 1 commit intomasterfrom
chore/editor-menu-settings

Conversation

@oumoussa98
Copy link
Member

As we add more settings to the editor like line wrapping and maybe auto-formatting later, I suggest using a menu to group all these settings.
This will help keep the editor clean and also avoid overlapping with the output button on mobile devices

Another approach could be stacking them vertically. I'd love to get your thoughts on this

image image

@oumoussa98 oumoussa98 closed this Dec 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments